- Install Termux on android device.
- Find Termux username.
Discover gists
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ## Pre-requisite: You have to know your last commit message from your deleted branch. | |
| git reflog | |
| # Search for message in the list | |
| # a901eda HEAD@{18}: commit: <last commit message> | |
| # Now you have two options, either checkout revision or HEAD | |
| git checkout a901eda | |
| # Or | |
| git checkout HEAD@{18} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env ruby | |
| # this scripts acts as a wrapper for a little daemon that reads a fifo; | |
| # | |
| # If called without allready running it starts a background daemon and | |
| # downloads the argument, then proceeds to watch the fifo for more. | |
| # | |
| # We esnure that the script is only running once and only one dl at a time. | |
| FIFO = "/home/ha/.ytfifo" |
rntz
/ MinimalNBE.hs
Last active
May 13, 2024 09:17
Normalisation by evaluation for the simply-typed lambda calculus, in Agda
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- A simply-typed lambda calculus, and a definition of normalisation by | |
| -- evaluation for it. | |
| -- | |
| -- The NBE implementation is based on a presentation by Sam Lindley from 2016: | |
| -- http://homepages.inf.ed.ac.uk/slindley/nbe/nbe-cambridge2016.pdf | |
| -- | |
| -- Adapted to handle terms with explicitly typed contexts (Sam's slides only | |
| -- consider open terms with the environments left implicit/untyped). This was a | |
| -- pain in the ass to figure out. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SPC | |
| SPC: find file | |
| , switch buffer | |
| . browse files | |
| : MX | |
| ; EX | |
| < switch buffer | |
| ` eval | |
| u universal arg | |
| x pop up scratch |
wmedlar
/ Pseudopotential-Derived Band Structure of Silicon.ipynb
Last active
May 13, 2024 09:15
The band structure of Silicon is calculated using the empirical pseudopotential method implemented in the Python programming language. A generalized routine is able to calculate the band structure of diamond and zincblende lattices. The energy splittings for Silicon at symmetry points appear to be very accurate with accepted values by diagonaliz…
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
mjnaderi
/ android_storage_ssh.md
Last active
May 13, 2024 09:13
Access Android Storage Remotely using Termux and SSH
kgsi
/ japanese_full.txt
Last active
May 13, 2024 09:10
日本語文字コード範囲指定（ascii・ひらがな・カタカナ・第一水準および第二水準(JIS-X0208-1997)に含まれる漢字）
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ａｂｃｄｅｆｇｈｉｊｋｌｍｎｏｐｑｒｓｔｕｖｗｘｙｚＡＢＣＤＥＦＧＨＩＪＫＬＭＮＯＰＱＲＳＴＵＶＷＸＹＺ１２３４５６７８９０〜¡¢£¤¥¦§¨©ª«¬ ®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖ×ØÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ‒–—―‖‗‘’‚‛“”„‟†‡•… ‰′″‴‹›‼‾⁄⁞€™□ 、。，．・：；？！゛゜´｀¨＾￣＿ヽヾゝゞ〃仝々〆〇ー―‐／◆□■△▲▽▼※〒→←↑↓〓∈∋⊆⊇⊂⊃ｱｲｳｴｵｶｷｸｹｺｻｼｽｾｿﾀﾁﾂﾃﾄﾅﾆﾇﾈﾉﾊﾋﾌﾍﾎﾏﾐﾑﾒﾓﾔﾕﾖﾗﾘﾙﾚﾛﾜｦﾝｧｨｩｪｫｯｬｭｮｰｶﾞｷﾞｸﾞｹﾞｺﾞｻﾞｼﾞｽﾞｾﾞｿﾞﾀﾞﾁﾞﾂﾞﾃﾞﾄﾞﾊﾞﾋﾞﾌﾞﾍﾞﾎﾞﾊﾟﾋﾟﾌﾟﾍﾟﾎﾟｳﾞぁあぃいぅうぇえぉおかがきぎくぐけげこごさざしじすずせぜそぞたァアィイゥウェエォオカガキギクグケゲコゴサザシジスズセゼソゾタΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩАБВГДЕЁЖЗИЙКЛМНОПРСТУФХЦЧШЩЪЫЬЭ─│┌┐┘└├┬┤┴┼━┃┏┓┛┗┣┳┫┻╋┠┯┨┷┿┝┰┥┸亜唖娃阿哀愛挨姶逢葵茜穐悪握渥旭葦芦鯵梓圧斡扱宛姐虻飴絢綾鮎或院陰隠韻吋右宇烏羽迂雨卯鵜窺丑碓臼渦嘘唄欝蔚鰻姥厩浦瓜閏噂云運押旺横欧殴王翁襖鴬鴎黄岡沖荻億屋憶臆桶牡乙俺卸恩温穏音下化仮何魁晦械海灰界皆絵芥蟹開階貝凱劾外咳害崖慨概涯碍蓋街該鎧骸浬馨蛙粥刈苅瓦乾侃冠寒刊勘勧巻喚堪姦完官寛干幹患感慣憾換敢柑桓棺款歓機帰毅気汽畿祈季稀紀徽規記貴起軌輝飢騎鬼亀偽儀妓宜戯技擬欺犠疑供侠僑兇競共凶協匡卿叫喬境峡強彊怯恐恭挟教橋況狂狭矯胸脅興蕎郷掘窟沓靴轡窪熊隈粂栗繰桑鍬勲君薫訓群軍郡卦袈祁係傾刑兄啓圭珪型検権牽犬献研硯絹県肩見謙賢軒遣鍵険顕験鹸元原厳幻弦減源玄現絃舷后喉坑垢好孔孝宏工巧巷幸広庚康弘恒慌抗拘控攻昂晃更杭校梗構江洪此頃今困坤墾婚恨懇昏昆根梱混痕紺艮魂些佐叉唆嵯左差査沙瑳砂詐鎖察拶撮擦札殺薩雑皐鯖捌錆鮫皿晒三傘参山惨撒散桟燦珊産算纂蚕讃賛次滋治爾璽痔磁示而耳自蒔辞汐鹿式識鴫竺軸宍雫七叱執失嫉室悉湿漆宗就州修愁拾洲秀秋終繍習臭舟蒐衆襲讐 |
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| GivenName,Surname,StreetAddress,City,ZipCode,EmailAddress,TelephoneNumber | |
| Karolin,Gottlieb,Am Borsigturm 61,Dormagen Zons,41541,Karolin.Gottlieb@dodgit.com,02133 01 62 83 | |
| Philipp,Schaefer,Schmarjestrasse 82,Bahnitz,14715,Philipp.Schaefer@pookmail.com,033870 32 38 | |
| Claudia,Maurer,Wallstrasse 72,Hammerstein,56598,Claudia.Maurer@pookmail.com,02635 99 06 20 | |
| Luca,Neustadt,Ellmenreichstrasse 10,Obertrubach,91286,Luca.Neustadt@mailinator.com,09197 39 92 27 | |
| Frank,Schmitz,Borstelmannsweg 32,Coburg,96409,Frank.Schmitz@spambob.com,09561 78 15 75 | |
| Ute,Mehler,Flughafenstrasse 59,Weiding,92557,Ute.Mehler@trashymail.com,09673 12 09 48 | |
| Marko,Reiniger,Augsburger Straße 20,Herne,44629,Marko.Reiniger@pookmail.com,02323 95 65 13 | |
| Anja,Theissen,Leipziger Straße 78,Zierenberg,34289,Anja.Theissen@mailinator.com,05606 71 60 26 |
rjescobar
/ extend-trial-jetbrains-windows.bat
Created
August 31, 2021 02:53
JetBrains IDE trial reset windows
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| REM Delete eval folder with licence key and options.xml which contains a reference to it | |
| for %%I in ("WebStorm", "IntelliJ", "CLion", "Rider", "GoLand", "PhpStorm", "Resharper", "PyCharm") do ( | |
| for /d %%a in ("%USERPROFILE%\.%%I*") do ( | |
| rd /s /q "%%a/config/eval" | |
| del /q "%%a\config\options\other.xml" | |
| ) | |
| ) | |
| REM Delete registry key and jetbrains folder (not sure if needet but however) | |
| rmdir /s /q "%APPDATA%\JetBrains" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # reset jetbrains ide evals v1.0.4 | |
| OS_NAME=$(uname -s) | |
| JB_PRODUCTS="IntelliJIdea CLion PhpStorm GoLand PyCharm WebStorm Rider DataGrip RubyMine AppCode" | |
| if [ "$OS_NAME" == "Darwin" ]; then | |
| echo 'macOS:' | |
| for PRD in $JB_PRODUCTS; do |
NewerOlder